Title Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Jean-Marie Jacquet, Mieke Massink

Published Cham, Switzerland : Springer, 2017

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xii, 279 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10319 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10319. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering. Contents Languages and tools -- Types -- Resource, components and information flow -- Verification Summary This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification Notes International conference proceedings Includes author index Bibliography Includes bibliographical references and author index Notes Online resource; title from PDF title page (SpringerLink, viewed June 16, 2017) Subject Software architecture -- Congresses Electronic data processing -- Distributed processing -- Congresses Computer programming -- Congresses Computer programming -- software development. Programming & scripting languages: general. Information retrieval. Software Engineering. Computers -- Programming -- General. Computers -- Programming Languages -- General. Computers -- Information Technology. Computers -- Software Development & Engineering -- General. Computer programming Electronic data processing -- Distributed processing Software architecture Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Jacquet, J.-M. (Jean-Marie), editor. Massink, Mieke, editor. International Federated Conferences on Distributed Computing Techniques (12th : 2017 : Neuchâtel, Switzerland). jointly held conference ISBN 9783319597461 3319597469 3319597450 9783319597454

Other Titles COORDINATION 2017

  Permalink